OBJ3 - significado y definición. Qué es OBJ3
Diclib.com
Diccionario ChatGPT
Ingrese una palabra o frase en cualquier idioma 👆
Idioma:

Traducción y análisis de palabras por inteligencia artificial ChatGPT

En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:

  • cómo se usa la palabra
  • frecuencia de uso
  • se utiliza con más frecuencia en el habla oral o escrita
  • opciones de traducción
  • ejemplos de uso (varias frases con traducción)
  • etimología

Qué (quién) es OBJ3 - definición

PROGRAMMING LANGUAGE FAMILY
OBJ2; OBJ3

OBJ3         
<language> A version of OBJ based on {order-sorted rewriting}. OBJ3 is agent-oriented and runs on AKCL. E-mail: <obj3sys@crl.sri.com>, <obj3dist@csl.sri.com>. ["Introducing OBJ3", J. Goguen et al, SRI-CSL-88-9, SRI Intl, 1988]. (1995-03-16)
OBJ2         
Clear-like parametrised modules. A functional system based on equations. "Principles of OBJ2", K. Futatsugi et al, 12th POPL, ACM 1985, pp.52-66.
OBJ (programming language)         
OBJ is a programming language family introduced by Joseph Goguen in 1976, and further worked on by Jose Meseguer.

Wikipedia

OBJ (programming language)

OBJ is a programming language family introduced by Joseph Goguen in 1976, and further worked on by Jose Meseguer.